The Algorithmic Theory of Finitely Generated Metabelian Groups
نویسندگان
چکیده
Algorithms are constructed which, when an explicit presentation of a finitely generated metabelian group G in the variety si1 is given, produce unitary presentations for the derived subgroup G', the centre Z{G), the Fitting subgroup Fit(G), and the Frattini subgroup <p(G). Additional algorithms of independent interest are developed for commutative algebra which construct the associated set of primes Ass(Af) of a finitely generated module M over a finitely generated commutative ring R , and the intersection <pr{M) of the maximal submodules of M .
منابع مشابه
Improving Finiteness Properties for Metabelian Groups
We show that any finitely generated metabelian group can be embedded in a metabelian group of type F3. The proof builds upon work of G. Baumslag [4], who independently with V. R. Remeslennikov [10] proved that any finitely generated metabelian group can be embedded in a finitely presented one. We also rely essentially on the Sigma theory of R. Bieri and R. Strebel [7], who introduced this geome...
متن کاملSubgroups of Free Metabelian Groups
In 1954 A. G. Howson proved that the intersection of two finitely generated subgroups of a free group is again finitely generated. Now the free metabelian subgroups of a free metabelian group of finite rank n are quite restricted. Indeed they are again of finite rank at most n. This suggests that there may be an analog of Howson’s theorem for free metabelian groups. This turns out not to be the...
متن کاملOn the Cantor-bendixson Rank of Metabelian Groups
We study the Cantor-Bendixson rank of metabelian and virtually metabelian groups in the space of marked groups, and in particular, we exhibit a sequence (Gn) of 2-generated, finitely presented, virtually metabelian groups of Cantor-Bendixson ωn.
متن کاملImproving tameness for metabelian groups
We show that any finitely generated metabelian group can be embedded in a metabelian group of type F3. More generally, we prove that if n is a positive integer and Q is a finitely generated abelian group, then any finitely generated ZQ-module can be embedded in a module that is n-tame. Combining with standard facts, the F3 embedding theorem follows from this and a recent theorem of R. Bieri and...
متن کاملSubgroups of Finitely Presented Centre-by-metabelian Groups
1.1. Baumslag's theorem has another facet. It shows that in the variety 2l of metabelian groups, every finitely generated $I-group G occurs as a subgroup of some finitely presented 2I-group G. The analogous result for the variety of all groups is a celebrated theorem of G. Higman [8] which states that a finitely generated group G is the subgroup of a finitely presented group G if, and only if, ...
متن کامل